#include <arch/aarch64/drivers/chars/serial.h>

void init_serial()
{
}

void serial_printk(const char *str, int len)
{
}
